PKGFLAG   = 
PKGNAME   = cktsat
#INC_DIR   = ../cryptominisat

include ../Makefile.in
include ../Makefile.lib
